Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. . 1998-2007.
Preclosure operator — In topology, a preclosure operator, or Čech closure operator is a map between subsets of a set, similar to a topological closure operator, except that it is not required to be idempotent. That is, a preclosure operator obeys only three of the… … Wikipedia
Universal algebra — (sometimes called general algebra) is the field of mathematics that studies algebraic structures themselves, not examples ( models ) of algebraic structures.For instance, rather than take particular groups as the object of study, in universal… … Wikipedia
Empty product — In mathematics, an empty product, or nullary product, is the result of multiplying no factors. It is equal to the multiplicative identity 1, given that it exists for the multiplication operation in question, just as the empty sum the result of… … Wikipedia
Arity — In logic, mathematics, and computer science, the arity i/ˈær … Wikipedia
Logical connective — This article is about connectives in classical logic. For connectors in natural languages, see discourse connective. For connectives and operators in other logics, see logical constant. For other logical symbols, see table of logic symbols. In… … Wikipedia
Functional completeness — In logic, a functionally complete set of logical connectives or Boolean operators is one which can be used to express all possible truth tables by combining members of the set into a Boolean expression.[1][2] A well known complete set of… … Wikipedia
Signature (logic) — In logic, especially mathematical logic, a signature lists and describes the non logical symbols of a formal language. In universal algebra, a signature lists the operations that characterize an algebraic structure. In model theory, signatures… … Wikipedia
Characterizations of the category of topological spaces — In mathematics, a topological space is usually defined in terms of open sets. However, there are many equivalent characterizations of the category of topological spaces. Each of these definitions provides a new way of thinking about topological… … Wikipedia
T-norm fuzzy logics — are a family of non classical logics, informally delimited by having a semantics which takes the real unit interval [0, 1] for the system of truth values and functions called t norms for permissible interpretations of conjunction. They are mainly … Wikipedia
Operand — In mathematics, an operand is the object of a mathematical operation, a quantity on which an operation is performed.[1] Contents 1 Example 2 Notation 2.1 Expressions as operands … Wikipedia
Kuratowski closure axioms — In topology and related branches of mathematics, the Kuratowski closure axioms are a set of axioms which can be used to define a topological structure on a set. They are equivalent to the more commonly used open set definition. They were first… … Wikipedia
